41![Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik](https://www.pdfsearch.io/img/f15fbfdef4fd27770bae5f614fbe19d9.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2001-08-20 15:53:16
|
---|
42![Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software](https://www.pdfsearch.io/img/7f4ae848d046c685df86240db80dd3da.jpg) | Add to Reading ListSource URL: places11.di.fc.ul.ptLanguage: English - Date: 2011-02-13 18:15:54
|
---|
43![Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1 Composition for Component-Based Modeling? Gregor G¨ossler1 and Joseph Sifakis2 1 1](https://www.pdfsearch.io/img/228dcc68d730e9b04401a9afcaa17b66.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2012-12-31 04:25:37
|
---|
44![Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways](https://www.pdfsearch.io/img/39e1894046137ffe790e0ad5194abcd0.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-03-02 10:57:28
|
---|
45![Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx † Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx †](https://www.pdfsearch.io/img/95dfb155fc903efeb1bddd29c4a470e1.jpg) | Add to Reading ListSource URL: soft.vub.ac.beLanguage: English - Date: 2007-01-09 07:10:57
|
---|
46![Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh
Sessions and linearity Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh
Sessions and linearity](https://www.pdfsearch.io/img/3f40c34365638791d24184780cf52218.jpg) | Add to Reading ListSource URL: groups.inf.ed.ac.ukLanguage: English - Date: 2014-01-09 09:03:28
|
---|
47![Introduction Motivation Syntax and semantics Introduction Motivation Syntax and semantics](https://www.pdfsearch.io/img/1a5ac261545547c9b563fb2830f16c46.jpg) | Add to Reading ListSource URL: www.cs.stir.ac.ukLanguage: English - Date: 2010-06-17 03:44:24
|
---|
48![Logical Methods in Computer Science Vol. 10(2:, pp. 1–51 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 10(2:, pp. 1–51 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/294e7546127995a798c9968dc7a60085.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-02 06:27:04
|
---|
49![Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik Linear Forwarders∗ Philippa Gardner Cosimo Laneve Lucian Wischik](https://www.pdfsearch.io/img/25bce6e28961b15e62f06fff0f42a558.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2003-07-07 12:00:28
|
---|
50![Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1 Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson1 Simon J. Gay2 Rajagopal Nagarajan1 Ittoop Vergheese Puthoor2,3 Department of Computer Science, University of Warwick1](https://www.pdfsearch.io/img/1a7bce51287b3d7f1ba2fb3742205fba.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2011-11-04 05:01:44
|
---|